منابع مشابه
I/O Efficient Directed Model Checking
Directed model checking has proved itself to be a useful technique in reducing the state space of the problem graph. But still, its potential is limited by the available memory. This problem can be circumvented by the use of secondary storage devices to store the state space. This paper discusses directed best-first search to enhance error detection capabilities of model checkers like SPIN by u...
متن کاملWhy Do I Keep Checking Facebook: Effects
Nowadays, social media has become an important tool for individuals to communicate with others. Recent statistics show that a large number of people spend plenty of time on social network websites daily, which may lead to some potential social and psychological problems. In this study, we define the new concept of Social Network Services (SNS) addiction, and claim that it is different from othe...
متن کاملLtl Model Checking with I/o-efficient Accepting Cycle Detection Ltl Model Checking with I/o-efficient Accepting Cycle Detection
We show how to adopt existing non-DFS-based algorithm OWCTY [ČP03] for accepting cycle detection to the I/O efficient setting and compare the I/O efficiency and practical performance of the adopted algorithm to the existing I/O efficient LTL model checking approach of Edelkamp et al. [EJ06]. We show that while the new algorithm exhibits similar I/O complexity with respect to the size of the gra...
متن کاملQuality Checking of Als Projects Using Statistics of Strip Differences
We present an automatic method for checking the geometric accuracy of ALS points. First for each strip a DEM is interpolated using the moving planes method. The accuracy of the interpolated height at each grid point and the distance between each grid point and the centre of gravity of the original ALS points used for interpolation are used to derive a smoothness mask for each strip. Afterwards ...
متن کاملNeuroticism and cortisol: The importance of checking for sex differences.
Existent research documents an unclear and contradictory pattern between cortisol and personality variables, especially neuroticism. Specifically, no effect, positive correlations and negative correlations have all been reported to exist between cortisol and neuroticism. The current study tested whether males and females have a fundamentally different relationship between HPA activation and neu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematics of Computation
سال: 1950
ISSN: 0025-5718
DOI: 10.1090/s0025-5718-1950-0038133-0